Study of Suddhadvaita philosophy with reference to other system of Hindu philosophy.

This paper studies, by way of an example, the intuitionistic propositional connective * defined in the language of second order propositional logic by. In full topological models * is not generally definable, but over Cantor-space and the reals it can be classically shown that; on the other hand, this is false constructively, i.e. a contradiction with Church's thesis is obtained. This is comparable with some well-known results on the completeness of intuitionistic first-order predicate logic.Over [0, 1], the operator * is (...) (constructively and classically) undefinable. We show how to recast this argument in terms of intuitive intuitionistic validity in some parameter. The undefinability argument essentially uses the connectedness of [0, 1]; most of the work of recasting consists in the choice of a suitable intuitionistically meaningful parameter, so as to imitate the effect of connectedness. (shrink)

Festschrift in honor of S.A. Shaida; contributed research papers.

Morals of 13th-20th century Mongolian Moral Doctrines.

T. 1. Ot antichnoĭ fiziki do Mendeleeva.

Analytical study of Buddhist psychology.

Critical study of of the addresses of Sir Muhammad Iqbal, 1877-1938 from philosophical and religious point of view.

Multilingual dictionary of philosophical terms.